this paper provides a review on major ergodic features of semi-independent hyper mv {algebra dynamical systems. theorems are presentedto make contribution to calculate the entropy. particularly, it is proved that thetotal entropy of those semi-independent hyper mv {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

this paper is the first of a two part series. in this paper, we first prove that the variety of dually quasi-de morgan stone semi-heyting algebras of level 1 satisfies the strongly blended $lor$-de morgan law introduced in cite{sa12}. then, using this result and the results of cite{sa12}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) ...

this paper is the second of a two part series. in this part, we prove, using the description of simples obtained in part i, that the variety $mathbf{rdqdstsh_1}$ of regular dually quasi-de morgan stone semi-heyting algebras of level 1 is the join of the variety generated by the twenty 3-element $mathbf{rdqdstsh_1}$-chains and the variety of dually quasi-de morgan boolean semi-heyting algebras--...

In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...

Let A be a Banach algebra and X a Banach A-bimodule, the derivation D : A → X is semi-inner if there are ξ, μ ∈ X such that D(a) = a.ξ − μ.a, (a ∈ A). A is called semi-amenable if every derivation D : A → X∗ is semi-inner. The dual Banach algebra A is Connes semi-amenable (resp. approximately semi-amenable) if, every D ∈ Z1w _ (A,X), for each normal, dual Banach A-bimodule X, is semi -inner (re...

This paper provides a review on major ergodic features of semi-independent hyper MV {algebra dynamical systems. Theorems are presentedto make contribution to calculate the entropy. Particularly, it is proved that thetotal entropy of those semi-independent hyper MV {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite...